$\forall$$T$:Type, $L$:$T$ List. $\neg$null($L$) $\Rightarrow$ $L$ $=$ (firstn($\parallel$$L$$\parallel-$1;$L$) @ [last($L$)])